Topological Approach to Rigorous Numerics of Chaotic Dynamical Systems with Strong Expansion of Error Bounds
نویسندگان
چکیده
An algorithm for obtaining rigorous results concerning the existence of chaotic invariant sets of dynamical systems generated by non-autonomous, time periodic differential equations with strong expansion is presented. The result is based on a new theoretical approach to the computation of the homology of the Poincaré map. A concrete numerical example concerning a time-periodic differential equation in the complex plane is provided.
منابع مشابه
The Method of Topological Sections in the Rigorous Numerics of Dynamical Systems
Computer assisted proofs in topological dymamics consist of three steps: the construction of a sufficiently good multivalued representation of the dynamical system based on rigorous numerics, the combinatorial computations of topological invariants which provide some information about the dynamical system and finally applying the relevant theory which allows to draw conclusions of interest from...
متن کاملA numerical approach for variable-order fractional unified chaotic systems with time-delay
This paper proposes a new computational scheme for approximating variable-order fractional integral operators by means of finite element scheme. This strategy is extended to approximate the solution of a class of variable-order fractional nonlinear systems with time-delay. Numerical simulations are analyzed in the perspective of the mean absolute error and experimental convergence order. To ill...
متن کاملChaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift-Hohenberg Equation
We prove that the stationary Swift-Hohenberg equation has chaotic dynamics on a critical energy level for a large (continuous) range of parameter values. The first step of the method relies on a computer assisted, rigorous, continuation method to prove the existence of a periodic orbit with certain geometric properties. The second step is topological: we use this periodic solution as a skeleton...
متن کاملRigorous Numerics in Dynamics
Motivation Nonlinear dynamics shape the world around us, from the harmonious movements of celestial bodies, via the swirling motions in fluid flows, to the complicated biochemistry in the living cell. Mathematically these beautiful phenomena are modeled by nonlinear dynamical systems, mainly in the form of ordinary differential equations (ODEs), partial differential equations (PDEs) and delay d...
متن کاملRigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory
We propose a new approach for capturing bifurcations of (semi)flows by using a topological tool, the Conley index. We can apply this concept to capture bifurcations with rigorous numerics. As an example, we consider the dynamics generated by the Swift–Hohenberg PDE and show that a pitchfork-like bifurcation occurs in a certain region.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Foundations of Computational Mathematics
دوره 10 شماره
صفحات -
تاریخ انتشار 2010